Kidney transplants in mice. An analysis of the immune status of mice bearing long-term, H-2 incompatible transplants

Kidney transplants between strains of mice which are incompatible at either the K or the D end of the H-2 complex usually function for prolonged periods supporting the lives of nephrectomized recipients. This occurs with no recipient treatment. With multiple H-2 and non-H-2 determined incompatibilities, transplants may be rejected but more slowly than skin grafts. In the strain combination studied most extensively in these experiments (B10.D2 to B6AF(1)) in which the incompatibility was confined to the K end of the H-2 region, about 70 percent of recipients survived for many weeks with normal blood urea nitrogen levels. Skin grafts between untreated members of these strains were rejected promptly (mean survival time of 13.5 +/- 1.1 days) as were kidney transplants to recipients of prior skin grafts. Donor strain skin grafts to recipients of kidney transplants after kidney transplantation enjoyed greatly prolonged survival whereas skin grafts from a third party (A.SW) were rejected normally. If kidney tissue was transferred in the form of free grafts without primary vascular union, it was rejected promptly leaving its recipient highly immunized. Cellular and humoral immunity to donor antigens declined over the first few weeks after transplantation, and the spleens of long-term recipients contained no “killer cells.” Recipient lymphoid cells could mount active graft versus host reactions to donor strain antigens on transfer to neonatal mice. Nevertheless, they were distinctly less able to respond specifically by the production of killer cells to donor strain antigens after sensitization in vitro. No evidence that this defect was associated with the presence of suppressor cells was forthcoming from several types of in vivo and in vitro tests

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

Representation of Time-Varying Stimuli by a Network Exhibiting Oscillations on a Faster Time Scale

Sensory processing is associated with gamma frequency oscillations (30–80 Hz) in sensory cortices. This raises the question whether gamma oscillations can be directly involved in the representation of time-varying stimuli, including stimuli whose time scale is longer than a gamma cycle. We are interested in the ability of the system to reliably distinguish different stimuli while being robust to stimulus variations such as uniform time-warp. We address this issue with a dynamical model of spiking neurons and study the response to an asymmetric sawtooth input current over a range of shape parameters. These parameters describe how fast the input current rises and falls in time. Our network consists of inhibitory and excitatory populations that are sufficient for generating oscillations in the gamma range. The oscillations period is about one-third of the stimulus duration. Embedded in this network is a subpopulation of excitatory cells that respond to the sawtooth stimulus and a subpopulation of cells that respond to an onset cue. The intrinsic gamma oscillations generate a temporally sparse code for the external stimuli. In this code, an excitatory cell may fire a single spike during a gamma cycle, depending on its tuning properties and on the temporal structure of the specific input; the identity of the stimulus is coded by the list of excitatory cells that fire during each cycle. We quantify the properties of this representation in a series of simulations and show that the sparseness of the code makes it robust to uniform warping of the time scale. We find that resetting of the oscillation phase at stimulus onset is important for a reliable representation of the stimulus and that there is a tradeoff between the resolution of the neural representation of the stimulus and robustness to time-warp. Author Summary Sensory processing of time-varying stimuli, such as speech, is associated with high-frequency oscillatory cortical activity, the functional significance of which is still unknown. One possibility is that the oscillations are part of a stimulus-encoding mechanism. Here, we investigate a computational model of such a mechanism, a spiking neuronal network whose intrinsic oscillations interact with external input (waveforms simulating short speech segments in a single acoustic frequency band) to encode stimuli that extend over a time interval longer than the oscillation's period. The network implements a temporally sparse encoding, whose robustness to time warping and neuronal noise we quantify. To our knowledge, this study is the first to demonstrate that a biophysically plausible model of oscillations occurring in the processing of auditory input may generate a representation of signals that span multiple oscillation cycles.National Science Foundation (DMS-0211505); Burroughs Wellcome Fund; U.S. Air Force Office of Scientific Researc

Phenoloxidase activity acts as a mosquito innate immune response against infection with semliki forest virus

Several components of the mosquito immune system including the RNA interference (RNAi), JAK/STAT, Toll and IMD pathways have previously been implicated in controlling arbovirus infections. In contrast, the role of the phenoloxidase (PO) cascade in mosquito antiviral immunity is unknown. Here we show that conditioned medium from the Aedes albopictus-derived U4.4 cell line contains a functional PO cascade, which is activated by the bacterium Escherichia coli and the arbovirus Semliki Forest virus (SFV) (Togaviridae; Alphavirus). Production of recombinant SFV expressing the PO cascade inhibitor Egf1.0 blocked PO activity in U4.4 cell- conditioned medium, which resulted in enhanced spread of SFV. Infection of adult female Aedes aegypti by feeding mosquitoes a bloodmeal containing Egf1.0-expressing SFV increased virus replication and mosquito mortality. Collectively, these results suggest the PO cascade of mosquitoes plays an important role in immune defence against arboviruses

Emergent global patterns of ecosystem structure and function from a mechanistic general ecosystem model

Anthropogenic activities are causing widespread degradation of ecosystems worldwide, threatening the ecosystem services upon which all human life depends. Improved understanding of this degradation is urgently needed to improve avoidance and mitigation measures. One tool to assist these efforts is predictive models of ecosystem structure and function that are mechanistic: based on fundamental ecological principles. Here we present the first mechanistic General Ecosystem Model (GEM) of ecosystem structure and function that is both global and applies in all terrestrial and marine environments. Functional forms and parameter values were derived from the theoretical and empirical literature where possible. Simulations of the fate of all organisms with body masses between 10 µg and 150,000 kg (a range of 14 orders of magnitude) across the globe led to emergent properties at individual (e.g., growth rate), community (e.g., biomass turnover rates), ecosystem (e.g., trophic pyramids), and macroecological scales (e.g., global patterns of trophic structure) that are in general agreement with current data and theory. These properties emerged from our encoding of the biology of, and interactions among, individual organisms without any direct constraints on the properties themselves. Our results indicate that ecologists have gathered sufficient information to begin to build realistic, global, and mechanistic models of ecosystems, capable of predicting a diverse range of ecosystem properties and their response to human pressures

Anticancer Gene Transfer for Cancer Gene Therapy

Gene therapy vectors are among the treatments currently used to treat malignant tumors. Gene therapy vectors use a specific therapeutic transgene that causes death in cancer cells. In early attempts at gene therapy, therapeutic transgenes were driven by non-specific vectors which induced toxicity to normal cells in addition to the cancer cells. Recently, novel cancer specific viral vectors have been developed that target cancer cells leaving normal cells unharmed. Here we review such cancer specific gene therapy systems currently used in the treatment of cancer and discuss the major challenges and future directions in this field

To respond or not to respond - a personal perspective of intestinal tolerance

For many years, the intestine was one of the poor relations of the immunology world, being a realm inhabited mostly by specialists and those interested in unusual phenomena. However, this has changed dramatically in recent years with the realization of how important the microbiota is in shaping immune function throughout the body, and almost every major immunology institution now includes the intestine as an area of interest. One of the most important aspects of the intestinal immune system is how it discriminates carefully between harmless and harmful antigens, in particular, its ability to generate active tolerance to materials such as commensal bacteria and food proteins. This phenomenon has been recognized for more than 100 years, and it is essential for preventing inflammatory disease in the intestine, but its basis remains enigmatic. Here, I discuss the progress that has been made in understanding oral tolerance during my 40 years in the field and highlight the topics that will be the focus of future research

The Perfect Family: Decision Making in Biparental Care

Background Previous theoretical work on parental decisions in biparental care has emphasized the role of the conflict between evolutionary interests of parents in these decisions. A prominent prediction from this work is that parents should compensate for decreases in each other\u27s effort, but only partially so. However, experimental tests that manipulate parents and measure their responses fail to confirm this prediction. At the same time, the process of parental decision making has remained unexplored theoretically. We develop a model to address the discrepancy between experiments and the theoretical prediction, and explore how assuming different decision making processes changes the prediction from the theory. Model Description We assume that parents make decisions in behavioral time. They have a fixed time budget, and allocate it between two parental tasks: provisioning the offspring and defending the nest. The proximate determinant of the allocation decisions are parents\u27 behavioral objectives. We assume both parents aim to maximize the offspring production from the nest. Experimental manipulations change the shape of the nest production function. We consider two different scenarios for how parents make decisions: one where parents communicate with each other and act together (the perfect family), and one where they do not communicate, and act independently (the almost perfect family). Conclusions/Significance The perfect family model is able to generate all the types of responses seen in experimental studies. The kind of response predicted depends on the nest production function, i.e. how parents\u27 allocations affect offspring production, and the type of experimental manipulation. In particular, we find that complementarity of parents\u27 allocations promotes matching responses. In contrast, the relative responses do not depend on the type of manipulation in the almost perfect family model. These results highlight the importance of the interaction between nest production function and how parents make decisions, factors that have largely been overlooked in previous models

Relationship between parental locus of control and caries experience in preschool children – cross-sectional survey

Background: Due to high prevalence and serious impacts, childhood caries represents a public health issue. Behavioural risk factors such as locus of health control have been implicated in the development of the disease; however their association with childhood caries has not been thoroughly studied. The aim of this cross-sectional survey was to assess the relationship between parental locus of health control and caries experience and untreated caries of their preschool children in a representative sample in Czech Republic, adjusting for relevant sociodemographic characteristics. Methods: A representative sample of 285 preschool children and their parents was recruited. Study data included children's dental status recorded in nurseries and parental questionnaires with 13 attitudinal items regarding locus of control (LoC) in caries prevention. The association between parental locus of control and children's caries experience and level of untreated caries was analysed using logistic regression, adjusting for the effect of key sociodemographic variables. Results: There was a statistically highly significant linear trend between increased parental LoC and higher probability of the children to be free from untreated caries, independent from the effect of sociodemographic variables of children and parents. A similar highly statistically significant trend, although not entirely linear, and independent from sociodemographic variables was observed with respect to the chance of the children to be free from caries experience with increasing strength of parental LoC. After full adjustment, children in the strongest parental LoC quintile were 2.81 (1.23–6.42, p< 0.05) times more likely to be free from untreated caries in comparison to the weakest parental LoC quintile and 2.32 (1.02–5.25, p< 0.05) times more likely to be free from caries experience in comparison to the weakest parental LoC quintile. Conclusion: The findings support the hypothesis that higher internal parental LoC is associated with better control of both untreated caries and caries experience in their preschool children and highlight that a more internal LoC within the family is advantageous in the prevention of dental caries